Events: STCS Student Seminar

The connection between circuit complexity and first-order logic

Speaker:
Pranshu Gaba (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 17 May 2024, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)

Resolution is NP hard to automate

Speaker:
Sreejata Kishor Bhattacharya (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 10 May 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)

A generalization of the Coupon Collector Problem

Speaker:
Jainam Khakhra (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 3 May 2024, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)

Quantifier Elimination in Presburger Arithmetic

Speaker:
Koduri Choudary (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 26 Apr 2024, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)

Online Convex Optimization with Switching Cost and Delayed Gradients

Speaker:
Pranab Panda (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 19 Apr 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)